61. Fundamentals of mathematics
Author: Bernd S. W. Schreoder
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
S36F8
2010
62. Fundamentals of mathematics: an introduction to proofs, logic, sets, and numbers
Author: Schroder, Bernd S. W. )Bernd Siegfried Walter(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
S358
2010
63. Higher-order logic and type theory
Author: / John L. Bell.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory,a04,a06
64. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
Author: International Summer Institute and Logic Colloquium, University of Kiel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
no
.
499
65. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author: edited by G. H. Muller, A. Oberschelp, K. Potthoff
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
1
.
L4
v
.
499
66. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
no
.
499
67. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Author: edited by G. H. Muller, A. Oberschelp, and K. Potthoff
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
Vol
.
499
68. ISilc logic conference
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical - Congresses ► Set theory- Congresses
Classification :
511
I81
69. Infinity and the mind: the science and philosophy of the infinite
Author: / by Rucker
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,symbolic and mathematical,Set theory,Infinite
Classification :
511
.
3
R911i
70. Infinity and the mind : the science and philosophy of the infinite
Author: Rucker, Rudy v. B.)Rudy von Bitter(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Infinite
Classification :
QA
9
.
R79
1982b
71. Introduction aux mathematiques de l,analyse economique
Author: / Rene Passet
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Set theory,Logic, Symbolic and mathematical,Abelian groups
Classification :
QA248
.
M513
1971
72. Islic logic conferene
Author: / edited by G. H. Muller, A. Oberschelp and K. Potthoff
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
Classification :
510
.
8
L471
No
.
499
73. Langages, ensembles, theories axiomatiques
Author: / (par) Maurice Hervieux (et) Gilbert Paquette, Ill. et couverture (par) Roy Tetrault Inc.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Axiomatic set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
H44
74. Learning to reason: an introduction to logic, sets and relations
Author: Rodgers, Nancy
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
R7264
2000
75. Learning to reason: an introduction to logic, sets, and relations
Author: Rodgers, Nancy
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
R7264
2000
76. Lectures in logic and set theory
Author: Tourlakis, George J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
2
.
T68
2003
77. Lectures in logic and set theory
Author: George Tourlakis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
2
.
T68L42
78. Lectures in logic and set theory
Author: / George Tourlakis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA9
.
2
.
T68
2003
79. Lectures in logic and set theory
Author: / George Tourlakis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA9
.
2
.
T68
2003
